#include<stdio.h>
int main()
{
	long long a=20230409;
	long long b=20230408;
	long long result=a*b/2;
	
	printf("%lld",result);
}
